]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ceee53a) | patch
ci: Install mutter again on coverity job
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 16 Sep 2021 08:03:38 +0000 (10:03 +0200)
committerMarge Bot <marge-bot@gnome.org>
Fri, 8 Oct 2021 16:17:04 +0000 (16:17 +0000)
commit4e5ddc5459adbee87be2519c1e199b3b526adc0e
tree52eecad23422efe78a17b3f42979d07f4ea2c1f0tree | snapshot
parentceee53aa0a40f3bf81945fabb4ecdd70d11143a4commit | diff
ci: Install mutter again on coverity job

This job "needs" the build job and thus gets its artifacts, but
it will not inherit the environment where we already installed
Mutter in /usr. This apparently broke once there was a more
recent mutter-clutter .pc file to look up.

Install Mutter in /usr again in this job, so the new build for
coverity finds all dependencies.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1979>
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.